Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
341	Applications of Proof Interpretations Philipp Gerhardy PhD Dissertation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2006-09-13 09:52:38 Logic Mathematics Abstraction Model theory Mathematical logic Proof theory Constructivism Jacques Herbrand Proof mining Term algebra First-order logic Fixed-point theorem
342	M ECHANIZED M ATHEMATICS AND I TS A PPLICATIONS, VOL . 4, N O. 1, M ARCH 2005, 3:24 M IZAR: the first 30 years Roman Matuszewski1 and Piotr Rudnicki2? 1 University of Białystok, Białystok, Poland, Add to Reading List Source URL: www.mizar.org Language: English - Date: 2005-07-20 17:21:01 Logic Abstraction Mathematical logic Quantification Propositional calculus Predicate logic Semantics Quantifier Universal quantification Proposition FO Model theory
343	To appear in the Annales de l’Institut Henri Poincar´ e, Probabilit´ es et StatistiquesLARGE DEVIATIONS OF U -EMPIRICAL MEASURES Add to Reading List Source URL: www.fam.tuwien.ac.at Language: English - Date: 2003-06-14 17:13:25 Compactness theorem Model theory Logic Mathematics Measure theory Abstraction Probability distributions
344	GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation Derek Dreyer Ar tifact Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2014-08-18 18:05:40 Software engineering Mathematical logic Computing Concurrency Logic in computer science Computer memory First-order logic Predicate logic Memory model Hoare logic Lock FO
345	I NTRODUCTION P RINCIPLES ADMITTING A UNIVERSAL INSTANCE P RINCIPLES ADMITTING NO UNIVERSAL INSTANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-07-04 08:41:44 Computability theory Mathematical logic Proof theory Reverse mathematics Model theory Axiom of choice
346	First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: Some Model Theory of Automorphic Forms Authors: Ricardo Bianconi (Universidade de Add to Reading List Source URL: www.sbm.org.br Language: English - Date: 2016-03-03 13:50:17
347	Fall 2014 Undergraduate Philosophy Department Courses PHIL-UA 1; Central Problems in Philosophy; M/W 9:30-10:45; James Pryor http://intro.jimpryor.net This course is an introduction to the methods of contemporary philoso Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-08-30 22:55:28 Logic Philosophy Mathematical logic Philosophical logic Non-classical logic Branches of philosophy Model theory Modal logic Saul Kripke First-order logic Propositional calculus Epistemic modal logic
348	Journal of Artificial Intelligence Research532 Submitted 11/11; publishedRiffled Independence for Efficient Inference with Partial Rankings Add to Reading List Source URL: select.cs.cmu.edu Language: English - Date: 2012-07-27 23:24:47 Metalogic Model theory Probability theory Mathematics Logic Measure theory Analysis Probability distributions Sigma-algebra
349	Gradual Typing for Objects Jeremy Siek1 and Walid Taha2 , 1 University of Colorado, Boulder, CO 80309, USA Add to Reading List Source URL: ecee.colorado.edu Language: English Type theory Software engineering Programming language theory Mathematical logic Type systems Data types Gradual typing Subtyping Symbol Type safety Model theory Type inference
350	Learning commutativity specifications a ct * Consi se Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2015-05-29 09:22:24 Logic Model theory Mathematical logic Metalogic First-order logic Constructible universe Type NIP Structure Confidence interval Well-formed formula Linear temporal logic

UPDATE